('a => 'a) => f('a)
